21. Propositional and predicate calculus: a model of argument
المؤلف: / Derek Goldrei
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Propositional calculus,Predicate calculus,-- Problems, exercises, etc,-- Problems, exercises, etc
رده :
511
.
3
G621P
2005
22. Subsystems of second order arithmetic
المؤلف: Simpson, Stephen George, 5491-
المکتبة: (طهران)
موضوع: ، Predicate calculus
رده :
QA
9
.
35
.
S55
23. Subsystems of second order arithmetic
المؤلف: Simpson, Stephen George, 5491-
المکتبة: (طهران)
موضوع: ، Predicate calculus
رده :
QA
9
.
7
.
S55S8
2009
24. Subsystems of second order arithmetic
المؤلف: / Stephen G. Simpson
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Predicate calculus
رده :
E-BOOK
25. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
موضوع : ، Proof theory,، Number theory,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
26. Tableau systems for first order number theory and certain higher order theories
المؤلف: Toledo, Sue Ann
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory,، Numbers, Theory of,، Predicate calculus
رده :
QA
3
.
L28
no
.
447
27. Tableau systems for first order number theory and certain higher order theories
المؤلف: Toledo, Sue Ann
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
1
.
L4
v
.
447
28. Tableau systems for first order number theory and certain higher order theories
المؤلف: Toledo, Sue Ann, 0491-
المکتبة: (طهران)
موضوع: ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
3
.
L28
Vol
.
447
29. Technical methods in philosophy /
المؤلف: John L. Pollock.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)
رده :
BC135
.
P683
1990
30. The computational complexity of logical theories
المؤلف: Ferrante, Jeanne
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
31. The computational complexity of logical theories
المؤلف: Ferrante, Jeanne
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
32. The computational complexity of logical theories
المؤلف: Ferrante, Jeanne
المکتبة: (طهران)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
9
.
35
.
F4
1979
33. The computational complexity of logical theories
المؤلف: Ferrante, Jeanne
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
1
.
L4
v
.
718
34. The computational complexity of logical theories
المؤلف: Ferrante, Jeanne, 9491-
المکتبة: (طهران)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
Vol
.
718
35. Two papers on the predicate calculus
المؤلف: by S.C. Kleene.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Predicate calculus.
